Большая советская энциклопедия - буль джордж

Буль (Boole) Джордж (2.11.1815, Линкольн, — 8.12.1864, Баллинтемпл близ Корка), английский математик и логик. Не имея специального математического образования, в 1849 стал профессором математики в Куинс-колледже в Корке (Ирландия), где преподавал до конца жизни. Б. почти в равной мере интересовали логика, математический анализ, теория вероятностей, этика Б. Спинозы, философские работы Аристотеля и Цицерона. В работах «Математический анализ логики» (1847), «Логическое исчисление» (1848), «Исследование законов мышления» (1854) Б. заложил основы математической логики. Именем Б. названы так называемые булевы алгебры — особые алгебраические системы, для элементов которых определены две операции (см. Структура). Лит.: Льар Л., Английские реформаторы логики а XIX в., пер. с франц., СПБ, 1897; Venn J., Boole's logical system, «Mind», 1876, v. 1, № 4.